MIRI - Mid-level Intermediate Representaion Interpreter

rustup +nightly component add miri
cargo +nightly miri test